Ph.D. in Computer Science and Engineering, Korea University
학술지 논문
(2022)
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING.
48,
9
학술회의논문
(2023)
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing.
International Conference on Software Engineering.
오스트레일리아
(2022)
SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters.
International Conference on Software Engineering.
미국
